well-ordering theorem - German English Dictionary